type Foo = boolean
